The Holonomy Decomposition of some Circular Semi-Flower Automata
نویسندگان
چکیده
Using holonomy decomposition, the absence of certain types of cycles in automata has been characterized. In the direction of studying the structure of automata with cycles, this paper focuses on a special class of semi-flower automata and establish the holonomy decomposition of certain circular semiflower automata. In particular, we show that the transformation monoid of a circular semi-flower automaton with at most two bpis divides a wreath product of cyclic transformation groups with adjoined constant functions.
منابع مشابه
The Holonomy Decomposition of Circular Semi-Flower Automata
Eilenberg’s holonomy decomposition is useful to ascertain the structural properties of automata. Using this method, Egri-Nagy and Nehaniv characterized the absence of certain types of cycles in automata. In the direction of studying the structure of automata with cycles, this work focuses on a special class of semi-flower automata and establish the holonomy decompositions of certain circular se...
متن کاملSyntactic Complexity of Circular Semi-Flower Automata
We investigate the syntactic complexity of certain types of finitely generated submonoids of a free monoid. In fact, we consider those submonoids which are accepted by circular semi-flower automata (CSFA). Here, we show that the syntactic complexity of CSFA with at most one 'branch point going in' (bpi) is linear. Further, we prove that the syntactic complexity of n-state CSFA with two bpis ove...
متن کاملAlgebraic hierarchical decomposition of finite state automata : a computational approach
The theory of algebraic hierarchical decomposition of finite state automata is an important and well developed branch of theoretical computer science (Krohn-Rhodes Theory). Beyond this it gives a general model for some important aspects of our cognitive capabilities and also provides possible means for constructing artificial cognitive systems: a Krohn-Rhodes decomposition may serve as a formal...
متن کاملExploration of the Space of Finite State Automata Using the Holonomy Decomposition∗
Algebraic theory of finite automata (Krohn-Rhodes Theory) is an important part of theoretical computer science although it has not achieved its full impact so far. The main decomposition theorem was proved in the 60’s [6] and further improved in the 70’s [5] but up until now there had never been a computational implementation. We implemented two different decompositions computationally and comp...
متن کاملCycle Structure in Automata and the Holonomy Decomposition
The algebraic hierarchical decomposition of finite state automata can be applied wherever a finite system should be ‘understood’ using a hierarchical coordinate system. Here we use the holonomy decomposition for characterizing finite automata using derived hierarchical structure. This leads to a characterization according to the existence of different cycles within an automaton. The investigati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Acta Cybern.
دوره 22 شماره
صفحات -
تاریخ انتشار 2016